ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·17h·
Discuss: DEV
🧩Constraint Solvers
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
🧩Constraint Solvers
Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·2h
✅Type Checking
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
machinelearning.apple.com·4d
📜Proof Languages
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·23h·
Discuss: DEV
🧩Constraint Solvers
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🔍ML Language
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Prompting Techniques for Specialised LLMs
dev.to·13h·
Discuss: DEV
🎮Language Ergonomics
A grand week
blog.mitrichev.ch·16h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Ask HN: Systems Development Path
news.ycombinator.com·1d·
Discuss: Hacker News
🦀MIR Optimization
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·18h·
Discuss: Hacker News
🌱Minimal ML
The Inverse Matrix problem
talesfrom.dev·6h
🚂Error Propagation
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·2h
📱Bytecode Design
A PhD in Snapshots
rbharath.github.io·5h·
Discuss: Hacker News
🎯Finite Automata
Mixture of Experts Implementation using Granite4: Harnessing Specialization with the Latest Granite Family Model
dev.to·17h·
Discuss: DEV
🔍ML Language
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·2h
🧩Constraint Solvers
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·2h
🎲Parser Fuzzing